Abstract Processes of Place/Transition Systems
نویسندگان
چکیده
Processes of Place/Transition Systems Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke NICTA, Sydney, Australia School of Computer Science and Engineering, University of New South Wales, Sydney, Australia Institute for Programming and Reactive Systems, TU Braunschweig, Germany
منابع مشابه
A Compositional Partial Order Semantics for Petri Net Components
In this paper we introduce the concept of a Petri net component and show how systems can be composed from components. A component communicates with its environment via distinguished input and output places, which formalizes communication by message passing. Then, we present a compositional semantics for components. The semantics is an extension of processes for place/transition systems (partial...
متن کاملInnovation in the Agro-Food Sector: from Technical Innovation-Centred Approaches to Sustainability Transition Processes
Innovation is a complex phenomenon and process involving translation of knowledge into new techniques, products, services. It is considered crucial for sustainable agriculture development and achievement of long-term food security. The review describes the diversity of innovation and relates it to agro-food sector. It also sheds light on different innovation models and explores their contributi...
متن کاملUsing High-level Replacement Systems to Preserve Safety Properties in Place/transition Net Transformations
Extended Abstract Summary: The application of the general theory of high-level replacement systems has proven to be most rewarding in many diierent areas, especially in Petri nets EGPP98a]. In this paper the abstract extension of high-level replacement systems to reenement morphisms Pad98] is applied to place/transition nets. The combination of morphisms, that preserve safety properties Peu97],...
متن کاملAn Ab Initio SCF-MO Study of Conformational Properties of Cyclodeca-1,2,3-triene
Ab initio calculation at HF/6-31G* level of theory for geometry optimization and MP2/6-31G*//HF/6-31G* for a single point total energy calculation are reported for the important energyminimumconformations and transition-state geometries of of cyclodeca-1,2,3-triene (1). The mostfavorable conformation of 1 is a unsymmetrical twist-chair (1-TC) structure. Degenerateinterconversion of 1-TC with it...
متن کاملLabelled transition systems as a Stone space
A fully abstract and universal domain model for modal transition systems and refinement, developed in [27], is shown to be a maximal-points space model for the bisimulation quotient of labelled transition systems over a finite set of events. In this domain model we prove that this quotient is a Stone space whose compact, zero-dimensional, and ultra-metrizable Hausdorff topology measures the deg...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Inf. Process. Lett.
دوره 111 شماره
صفحات -
تاریخ انتشار 2011